Guarded hybrid knowledge bases
نویسندگان
چکیده
منابع مشابه
Guarded hybrid knowledge bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge bases) as knowledge bases that consist of a Description Logic knowledge base and a guarded logic program, similar to the DL+log knowledge bases from (Rosati 2006). G-hybrid knowledge bases enable an integration of Desc...
متن کاملG-Hybrid Knowledge Bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define g-hybrid knowledge bases as knowledge bases that consist of a Description Logic knowledge base and a guarded logic program, similarly to the DL+log knowledge bases from [25]. G-hybrid knowledge bases enable an integration of Description Logics and Logic Programming where,...
متن کاملInconsistencies in Hybrid Knowledge Bases
The development of intelligent systems based on structured representation of knowledge that are capable of exhibiting human-like reasoning is a key goal of artificial intelligence in general and the field of knowledge representation research in particular. Advances in the latter have given rise to various formalisms motivated by different application domains. The most prominent families of such...
متن کاملInconsistences in Hybrid Knowledge Bases
Hybrid knowledge bases (KBs) are a well-known paradigm for combining nonmonotonic rules and description logic ontologies, which gained increasing attention in the past years. Such hybrid KBs have the potential of becoming very powerful tools for knowledge representation and reasoning. However, the interaction between rules and ontologies might cause undesired inconsistencies, making the whole s...
متن کاملNormative Systems require Hybrid Knowledge Bases ( Extended
In this extended abstract we borrow an example from the Portuguese Penal Code to advocate that norms used to regulate interaction in human societies, just as those used in multi-agent systems, require the joint use of the features based on the Closed World Assumption of rules in Logic Programming and those based on the Open World Assumption of ontologies in Description Logics, all of which are ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2008
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068407003201